منابع مشابه
Combining Top-Down and Bottom-Up Techniques in Program Derivation
The traditional stepwise refinement based program derivation methodologies are primarily top-down. Strictly following the topdown program derivation approach may require backtracking resulting in rework. Moreover, the top down approach does not directly help in suggesting the next course of action in case of a failed derivation attempt. In this work we seamlessly incorporate a bottom up assumpt...
متن کاملTop-down causation without top-down causes
We argue that intelligible appeals to interlevel causes (top-down and bottom-up) can be understood, without remainder, as appeals to mechanistically mediated effects. Mechanistically mediated effects are hybrids of causal and constitutive relations, where the causal relations are exclusively intralevel. The idea of causation would have to stretch to the breaking point to accommodate interlevel ...
متن کاملSLX - A Top-down Derivation Procedure for Programs with Explicit Negation
In this paper we deene a sound and (theoretically) complete top-down derivation procedure for a well-founded semantics of logic programs extended with explicit negation (WFSX). By its nature, it is amenable to a simple interpreter implementation in Prolog, and readily allows pre-processing into Prolog, showing promise as an eecient basis for further development. The derivation method is directl...
متن کاملThe Derivation of a Tighter Bound for Top-Down Skew Heaps
In this paper we present and analyze functional programs for a number of priority queue operations. These programs are based upon the top-down skew heaps|a truly elegant data structure|designed by D.D. Sleator and R.E. Tarjan. We show how their potential technique can be used to determine the time complexity of functional programs. This functional approach enables us to derive a potential funct...
متن کاملElectrophysiology in the study of developmental language impairments: Prospects and challenges for a top-down approach
There is a good deal of interest in the application of neurocognitive techniques to investigate the underpinnings of developmental language impairments (DLIs). Electrophysiological techniques such as electroencephalography and magnetoencephalography offer the promise of the ability to track brain activity with precision in time and space. This article describes a number of findings from studies...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Catalan Journal of Linguistics
سال: 2009
ISSN: 2014-9719,1695-6885
DOI: 10.5565/rev/catjl.146